(semi)symbolic Modeling of Large Linear Systems: Pending Issues
نویسنده
چکیده
The paper deals with some open problems from the area of symbolic and semisymbolic modeling of linear systems, focusing on combining the symbolic, semisymbolic and numeric computation.
منابع مشابه
Neuro-ACT Cognitive Architecture Applications in Modeling Driver’s Steering Behavior in Turns
Cognitive Architectures (CAs) are the core of artificial cognitive systems. A CA is supposed to specify the human brain at a level of abstraction suitable for explaining how it achieves the functions of the mind. Over the years a number of distinct CAs have been proposed by different authors and their limitations and potentials were investigated. These CAs are usually classified as symbolic and...
متن کاملModeling Approaches for Large-Scale Reconfigurable Engineering Systems
This paper reviews various approaches that have been used for the modeling and simulation of large-scale engineering systems and determines their appropriateness in the development of a RICS modeling and simulation tool. Bond graphs, linear graphs, block diagrams, differential and difference equations, modeling languages, cellular automata and agents are reviewed. This tool should be based on l...
متن کاملPreordering and symbolic factorization for reduction of fill-ins in LU decomposition of large sparse matrices
Linear systems arise in large-scale scientific and engineering calculations. In many cases, coefficient matrices tend to be very large and sparse. Given a system of linear equations, direct solutions can be obtained using Gaussian elimination. The paper describes the application of the Gaussian elimination method in conjunction with reordering algorithms. Our main goal is to present an overview...
متن کاملSemi-Symbolic Modeling and Analysis of Noise in Heterogeneous Systems
The article describes semi-symbolic methods for the analysis of control and signal processing systems, including static and dynamic uncertainties. This above mentioned semi-symbolic description of uncertainties is based upon affine arithmetic. A short introduction to affine arithmetic is given. As affine arithmetic is only able to describe static uncertainties, an extension for effects of dynam...
متن کاملDiscovering Non-linear Ranking Functions by Solving Semi-algebraic Systems
Differing from [6] this paper reduces non-linear ranking function discovering for polynomial programs to semi-algebraic system solving, and demonstrates how to apply the symbolic computation tools, DISCOVERER and QEPCAD, to some interesting examples. keywords: Program Verification, Loop Termination, Ranking Function, Polynomial Programs, Semi-Algebraic Systems, Computer Algebra, DISCOVERER, QEPCAD
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001